petroleum thinner - German English Dictionary